Evaluating Debugging Algorithms from a Qualitative Perspective∗ Alexander Finder
نویسنده
چکیده
A bottleneck during hardware design is the localization and the correction of faults – so-called debugging. Several approaches for automation of debugging have been proposed. This paper describes a methodology for evaluation and comparison of automated debugging algorithms. A fault model for faults occurring in SystemC descriptions at design time or during implementation is an essential part of this methodology. Each type of fault is characterized by mutations on the program dependence graph. The presented methodology is applied to evaluate the capability of a simulation based debugging procedure.
منابع مشابه
Evaluating Debugging Algorithms from a Qualitative Perspective
A bottleneck during hardware design is the localization and the correction of faults – so-called debugging. Several approaches for automation of debugging have been proposed. This paper describes a methodology for evaluation and comparison of automated debugging algorithms. A fault model for faults occurring in SystemC descriptions at design time or during implementation is an essential part of...
متن کاملAnalyse dynamischer Abhängigkeitsgraphen zum Debugging von Hardwaredesigns
Debugging is a time consuming task in hardware design. Thus effective debugging techniques are required when developing complex reliable systems. In this paper a new debugging approach based on the analysis of dynamic dependency graphs is presented. Our approach combines reverse debugging, dynamic forward/backward slicing, as well as spectrum-based fault localization and adapts them for the use...
متن کاملFoREnSiC- An Automatic Debugging Environment for C Programs
We present FoREnSiC, an open source environment for automatic error detection, localization and correction in C programs. The framework implements different automated debugging methods in a unified way covering the whole design flow from ESL to RTL. Currently, a scalable simulation-based back-end, a back-end based on symbolic execution, and a formal back-end exploiting functional equivalences b...
متن کاملTowards Qualitative Models of Interactions in Evolutionary Algorithms
Most of today’s theory and empirical work cannot serve as a foundation for designing or applying evolutionary algorithms in novel areas of application. This article proposes qualitative models of interactions in evolutionary algorithms as a means to close that gap. It presents a knowledge representation in the form of a hypergraph and exemplifies the integration of empirical results into the mo...
متن کاملParallel Matrix Computations
In this article we develop some algorithms and tools for solving matrix problems on parallel processing computers. Operations are synchronized through data-flow alone, which makes global synchronization unnecessary and enables the algorithms to be implemented on machines with very simple operating systems and communication protocols. As examples, zve present algorithms that form the main module...
متن کامل